منابع مشابه
Unfold/Fold Transformations For Definite Clause Programs
An unfold/fold program transformation system which extends the unfold/fold transformations of H. Tamaki and T. Sato is presented in this paper. The system consists of unfolding, simultaneous folding , and generalization + equality introduction rules. The simultaneous folding rule permits the folding of a set of folded clauses into a single clause, using a set of folding clauses, while the gener...
متن کاملA Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs
Given a program P , an unfold/fold program transformation system derives a sequence of programs P = P0, P1, : : : , Pn, such that Pi+1 is derived from Pi by application of either an unfolding or a folding step. Existing unfold/fold transformation systems for de nite logic programs di er from one another mainly in the kind of folding transformations they permit at each step. Some allow folding u...
متن کاملElimination of Local Variables from Definite Logic Programs
In logic programming, a variable is said to be local if it occurs in a clause body but not in its head atom. It is well-known that local variables are the main cause of inefficiency (sometimes even incompleteness) in negative goal computation. The problem is twofold. First, the negation of a clause body that contains a local variables is not expressible without universal quantification, whereas...
متن کاملk-fold Subsampling based Sequential Backward Feature Elimination
We present a new wrapper feature selection algorithm for human detection. This algorithm is a hybrid feature selection approach combining the benefits of filter and wrapper methods. It allows the selection of an optimal feature vector that well represents the shapes of the subjects in the images. In detail, the proposed feature selection algorithm adopts the k-fold subsampling and sequential ba...
متن کاملElimination of Copper (II) Ions from Aqueous Solution by the using of gamma alumina nanoparticles
heavy metals, as gamma alumina nanoparticles pollutants, in water resources. Therefore, the purpose of this paper was to evaluate the removal of copper (II) ions from aqueous solutions using gamma alumina nanoparticles as a adsorbent. Batch adsorption studies carried out to study various parameters included contact time, initial concentration of copper (II) ions, pH, and gamma alumina nanoparti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Kyushu Journal of Mathematics
سال: 2019
ISSN: 1340-6116,1883-2032
DOI: 10.2206/kyushujm.73.239